micro-optimization: do not check for ant if we don't need it
authorRene Engelhard <rene@rene-engelhard.de>
Wed, 23 May 2018 15:30:04 +0000 (17:30 +0200)
committerRene Engelhard <rene@debian.org>
Wed, 10 Oct 2018 21:25:32 +0000 (22:25 +0100)
commit5dd09de10554aa6a29a35858ddc07593d9dcd123
tree49e9eab1718b4f2d9c1d3238ca1b481d0d710f20
parent51025e75eac23d9a5ab976f819df990e3ad9b5c1
micro-optimization: do not check for ant if we don't need it

Change-Id: I84644cddd8a318a2af23780ada9afc26fe23a9fe

Gbp-Pq: Name no-ant-check-if-unneeded.diff
configure.ac